[
{
"prim": "storage",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%accBorrowBalance" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%accCTokenBalance" ] }, { "prim": "nat", "annots": [ "%accExchangeRateMantissa" ] } ] }
]
},
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%accrualBlockNumber" ] },
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%accrualIntPeriodRelevance" ] },
{ "prim": "set", "args": [ { "prim": "nat" } ], "annots": [ "%activeOperations" ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%administrator" ] },
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%interestIndex" ] }, { "prim": "nat", "annots": [ "%principal" ] } ],
"annots": [ "%accountBorrows" ]
},
{
"prim": "pair",
"args": [
{ "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ], "annots": [ "%approvals" ] },
{ "prim": "nat", "annots": [ "%balance" ] }
]
}
]
}
],
"annots": [ "%balances" ]
},
{ "prim": "nat", "annots": [ "%borrowIndex" ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%borrowRateMaxMantissa" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%borrowRatePerBlock" ] }, { "prim": "address", "annots": [ "%comptroller" ] } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%expScale" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%halfExpScale" ] }, { "prim": "nat", "annots": [ "%initialExchangeRateMantissa" ] } ] }
]
},
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%interestRateModel" ] },
{
"prim": "pair",
"args": [
{ "prim": "bool", "annots": [ "%isAccrualInterestValid" ] },
{ "prim": "option", "args": [ { "prim": "address" } ], "annots": [ "%pendingAdministrator" ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%reserveFactorMantissa" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%reserveFactorMaxMantissa" ] }, { "prim": "nat", "annots": [ "%supplyRatePerBlock" ] } ] }
]
},
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%totalBorrows" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%totalReserves" ] }, { "prim": "nat", "annots": [ "%totalSupply" ] } ] }
]
}
]
}
]
}
]
},
{
"prim": "big_map",
"args": [
{ "prim": "nat" },
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit" },
{ "prim": "or", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
},
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "unit" } ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "or", "args": [ { "prim": "address" }, { "prim": "address" } ] } ] },
{ "prim": "or", "args": [ { "prim": "address" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "set", "args": [ { "prim": "nat" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
]
},
{ "prim": "nat" }
]
}
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "option", "args": [ { "prim": "address" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "list", "args": [ { "prim": "operation" } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "set", "args": [ { "prim": "nat" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
]
},
{ "prim": "nat" }
]
}
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "option", "args": [ { "prim": "address" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
}
]
}
]
}
]
}
]
}
]
},
{
"prim": "parameter",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%acceptGovernance" ] },
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%spender" ] }, { "prim": "nat", "annots": [ "%value" ] } ], "annots": [ "%approve" ] },
{ "prim": "nat", "annots": [ "%doAccrueInterest" ] }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%hardResetOp" ] },
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%reduceReservesInternal" ] }, { "prim": "unit", "annots": [ "%removePendingGovernance" ] } ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%setBorrowRatePerBlock" ] },
{ "prim": "or", "args": [ { "prim": "address", "annots": [ "%setComptroller" ] }, { "prim": "address", "annots": [ "%setInterestRateModelInternal" ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "address", "annots": [ "%setPendingGovernance" ] },
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%setReserveFactorInternal" ] }, { "prim": "nat", "annots": [ "%setSupplyRatePerBlock" ] } ] }
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "unit", "annots": [ "%accrueInterest" ] }, { "prim": "nat", "annots": [ "%addReserves" ] } ] },
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%addAmount" ] }, { "prim": "address", "annots": [ "%originalSender" ] } ],
"annots": [ "%addReservesInternal" ]
},
{ "prim": "nat", "annots": [ "%borrow" ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%borrowBalanceStored" ] },
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%exchangeRateStored" ] }
]
},
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "contract",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%account" ] }, { "prim": "nat", "annots": [ "%borrowBalance" ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%cTokenBalance" ] }, { "prim": "nat", "annots": [ "%exchangeRateMantissa" ] } ]
}
]
}
]
}
],
"annots": [ "%getAccountSnapshot" ]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "address", "annots": [ "%spender" ] } ] },
{ "prim": "contract", "args": [ { "prim": "nat" } ] }
],
"annots": [ "%getAllowance" ]
}
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getBalance" ] },
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getBalanceOfUnderlying" ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getCash" ] },
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getTotalSupply" ] }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%mint" ] }, { "prim": "nat", "annots": [ "%redeem" ] } ] },
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%redeemUnderlying" ] }, { "prim": "nat", "annots": [ "%reduceReserves" ] } ] }
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%repayBorrow" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%borrower" ] }, { "prim": "nat", "annots": [ "%repayAmount" ] } ],
"annots": [ "%repayBorrowBehalf" ]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%account" ] }, { "prim": "nat", "annots": [ "%borrowBalance" ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%cTokenBalance" ] }, { "prim": "nat", "annots": [ "%exchangeRateMantissa" ] } ] }
],
"annots": [ "%setAccountSnapshot" ]
},
{ "prim": "nat", "annots": [ "%setAccrualIntPeriodRelevance" ] }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%setActiveOp" ] }, { "prim": "address", "annots": [ "%setInterestRateModel" ] } ] },
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%setReserveFactor" ] },
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%amount" ] }, { "prim": "address", "annots": [ "%tokenAddress" ] } ],
"annots": [ "%sweepFA12" ]
}
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%amount" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%id" ] }, { "prim": "address", "annots": [ "%tokenAddress" ] } ] }
],
"annots": [ "%sweepFA2" ]
},
{ "prim": "bool", "annots": [ "%sweepMutez" ] }
]
},
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%from" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%to" ] }, { "prim": "nat", "annots": [ "%value" ] } ] }
],
"annots": [ "%transfer" ]
},
{ "prim": "address", "annots": [ "%updateAccountSnapshot" ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [ { "prim": "unit", "annots": [ "%updateBorrowRateInternal" ] }, { "prim": "unit", "annots": [ "%updateBorrowRatePerBlock" ] } ]
},
{
"prim": "or",
"args": [ { "prim": "unit", "annots": [ "%updateSupplyRateInternal" ] }, { "prim": "unit", "annots": [ "%updateSupplyRatePerBlock" ] } ]
}
]
}
]
}
]
}
]
}
]
}
]
},
{
"prim": "code",
"args": [
[
{
"prim": "CAST",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit" },
{ "prim": "or", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
},
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "unit" } ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "or", "args": [ { "prim": "address" }, { "prim": "address" } ] } ] },
{ "prim": "or", "args": [ { "prim": "address" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "nat" } ] },
{ "prim": "or", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] }, { "prim": "nat" } ] }
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ] }
]
},
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "contract",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "address" } ] },
{ "prim": "contract", "args": [ { "prim": "nat" } ] }
]
}
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
},
{ "prim": "nat" }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] },
{ "prim": "bool" }
]
},
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
{ "prim": "address" }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "unit" } ] },
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "unit" } ] }
]
}
]
}
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "set", "args": [ { "prim": "nat" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
]
},
{ "prim": "nat" }
]
}
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "option", "args": [ { "prim": "address" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
},
{
"prim": "big_map",
"args": [
{ "prim": "nat" },
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit" },
{ "prim": "or", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
},
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "unit" } ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "or", "args": [ { "prim": "address" }, { "prim": "address" } ] } ] },
{ "prim": "or", "args": [ { "prim": "address" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "set", "args": [ { "prim": "nat" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
}
]
},
{ "prim": "nat" }
]
}
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "option", "args": [ { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "list", "args": [ { "prim": "operation" } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "set", "args": [ { "prim": "nat" } ] } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
}
]
},
{ "prim": "nat" }
]
}
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "option", "args": [ { "prim": "address" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
}
]
}
]
}
]
}
]
}
]
}
]
},
{ "prim": "UNPAIR", "args": [ { "int": "3" } ] },
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "2" } ] } ]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "3" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "4" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "5" } ] } ]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "6" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "7" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "8" } ] } ]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "9" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "10" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] } ]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" }
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "LEVEL" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[]
]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "8" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "contract", "args": [ { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
],
"annots": [ "%getBorrowRate" ]
},
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "526" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SELF", "annots": [ "%doAccrueInterest" ] },
{ "prim": "PAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[ { "prim": "NIL", "args": [ { "prim": "operation" } ] } ]
]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%addReservesInternal" ] },
{ "prim": "AMOUNT" },
{ "prim": "SENDER" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_FUNCTION" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_NOT_ACTIVE" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "9" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "EMPTY_MAP", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] }
]
},
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
],
"annots": [ "%borrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "175" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "442" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "446" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "168" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "12" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "169" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "ADD" },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "7" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "442" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "446" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "235" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "442" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "446" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "235" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "358" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "340" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "340" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "295" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "235" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "312" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "EMPTY_MAP", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] }
]
},
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
],
"annots": [ "%mintAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "71" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "235" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DUP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "247" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "66" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
],
"annots": [ "%redeemAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "136" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "235" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient supply" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "131" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "DIG", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "131" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient balance" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
],
"annots": [ "%redeemAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "136" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "235" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DUP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "247" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient supply" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "131" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "DIG", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "131" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient balance" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "12" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%reduceReservesInternal" ] },
{ "prim": "AMOUNT" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "EMPTY_MAP", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] }
]
},
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
]
}
],
"annots": [ "%repayBorrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "225" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "SENDER" },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DROP" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "442" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "446" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "218" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "14" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "SWAP" }, { "prim": "DROP" } ], [ { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "219" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "SWAP" }, { "prim": "DROP" } ], [ { "prim": "DROP" } ] ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "UPDATE", "args": [ { "int": "7" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "EMPTY_MAP", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] }
]
},
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
]
}
],
"annots": [ "%repayBorrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "225" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DROP" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_INVALID" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "442" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "446" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "218" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "14" } ] },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "SWAP" }, { "prim": "DROP" } ], [ { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "219" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "SWAP" }, { "prim": "DROP" } ], [ { "prim": "DROP" } ] ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "UPDATE", "args": [ { "int": "7" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "9" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%setInterestRateModelInternal" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "10" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%setReserveFactorInternal" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "DUP" },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] }
],
"annots": [ "%transfer" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "11" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "list",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "list",
"args": [
{
"prim": "pair",
"args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ]
}
]
}
]
}
]
}
],
"annots": [ "%transfer" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "36" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{
"prim": "NIL",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "list",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
},
{
"prim": "NIL",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
},
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "CONS" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR" },
{ "prim": "CONS" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{
"prim": "IF",
"args": [
[
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CONTRACT", "args": [ { "prim": "unit" } ], "annots": [ "%receive" ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "BALANCE" },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CONTRACT", "args": [ { "prim": "unit" } ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "21" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "BALANCE" },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] } ],
[
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "247" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "247" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" }
]
]
},
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_TRANSFER_NOT_APPROVED" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "EMPTY_MAP", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] }
]
},
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "address" } ] },
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
]
}
],
"annots": [ "%transferAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "261" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "253" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_BALANCE" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "254" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "11" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "254" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "254" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "255" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "SENDER" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "UPDATE", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
],
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%getAccountSnapshot" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "SELF", "annots": [ "%setAccountSnapshot" ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DROP" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_FUNCTION" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "6" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_NOT_ACTIVE" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "contract", "args": [ { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
],
"annots": [ "%getBorrowRate" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "382" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SELF", "annots": [ "%setBorrowRatePerBlock" ] },
{ "prim": "PAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SIZE" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "6" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%updateBorrowRateInternal" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DROP" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_FUNCTION" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "7" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_NOT_ACTIVE" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "contract", "args": [ { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
],
"annots": [ "%getSupplyRate" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "413" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "SELF", "annots": [ "%setSupplyRatePerBlock" ] },
{ "prim": "PAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "18" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SIZE" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "7" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%updateSupplyRateInternal" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "ITER", "args": [ [ { "prim": "CONS" } ] ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" }
]
]
}
]